101. Groups and model theory : in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011
المؤلف: Lutz Strungmann ... ]et al.[, editors
المکتبة: (طهران)
موضوع: Congresses ، Group theory,Congresses ، Model theory
رده :
QA
174
.
G775
102. INVERSE PROBLEM THEORY:METHODS FOR DATA FITTING AND MODEL PARAMETER ESTIMATION C.5
پدیدآورنده :
موضوع :
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
103. Information sources and services: theory and practice (paper VI and VII of UGC model curriculum)
المؤلف: / P. S. G. Kumar.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ک‍ت‍اب‍داری -- خ‍دم‍ات اطلاع‌رس‍ان‍ی.,ک‍ت‍اب‍خ‍ان‍ه‌ه‍ا -- م‍ن‍اب‍ع ش‍ب‍ک‍ه ک‍ام‍پ‍ی‍وت‍ری.
رده :
BibZA
۳۱۵۷
/
ک
۹
ال
ف
۹ ۱۳۸۳
104. Institution-independent model theory
المؤلف: Diaconescu, Razvan
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008
105. Introduction to mathematical logic : set theory, computable functions, model theory
المؤلف: Malitz, Jerome
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
106. Introduction to mathematical logic : set theory computable functions model theory
المؤلف: Malitz, Jerome
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
107. Introduction to mathematical logic; set theory computable functions model theory
پدیدآورنده : Malitz, J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
108. Introduction to mathematical logic: set theory, computable funtions, model theory
المؤلف: Malitz, Jerome
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M26
109. Introduction to model theory
المؤلف: Rothmaler, Philipp
المکتبة: (سمنان)
موضوع: ، Model theory
رده :
QA
9
.
7
.
R68
110. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
111. Introduction to model theory
المؤلف: Rothmaler, Philipp
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Model theory
رده :
QA
9
.
7
.
R67
2000
112. Introduction to model theory and to the metamathematics of algebra
المؤلف: Robinson, Abraham
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Algebra, Abstract,، Mathematics,، Model theory
رده :
QA
162
.
R6
1974
113. Introduction to model theory and to the metamathematics of algebra
المؤلف: Robinson, Abraham
المکتبة: (طهران)
موضوع: ، Algebra, Abstract,، Metamathematics,، Model theory
رده :
QA
162
.
R6
1974
114. Intuitionistic logic, modlel theory and forcing
المؤلف: Fitting, Melvin
المکتبة: (طهران)
موضوع: ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
115. Inverse problem theory and methods for model parameter estimatio
المؤلف: / Albert Tarantola
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Inverse problems (Differential equations)
رده :
QA
,
371
,.
T357
,
2005
116. Inverse problem theory and methods for model parameter estimation
المؤلف: / Albert Tarantola
المکتبة: مكتبة معهد الجيوفيزياء (طهران)
موضوع: Inverse problems (Differential equations)
رده :
QA
371
.
T357
117. Inverse problem theory and methods for model parameter estimation
المؤلف: Tarantola, Albert., Albert Tarantola
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Inverse problems )Differential equations(
رده :
CD
1743-50
118. Inverse problem theory and methods for model parameter estimation
المؤلف: / Albert Tarantola
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Inverse problems (Differential equations)
رده :
E-BOOK
119. Inverse problem theory and methods for model parameter estimation
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Inverse problems (Differential equations) ;
120. Inverse problem theory : methods for data fitting and model parameter estimation
المؤلف: Tarantola, Albert.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Inverse problems )Differential equations(
رده :
QA
371
.
T36
1987
